Formal Specification and Testing of Model Transformations Antonio Vallecillo1 , Martin Gogolla2 , Loli Burgue˜ no1 , Manuel Wimmer1 , 2 and Lars Hamann

Source URL: www.db.informatik.uni-bremen.de

A Pattern-Based Approach to Parametric Specification Mining Giles Reger , Howard Barringer, David Rydeheard University of Manchester Abstract—This paper presents a technique for using execution

Source URL: www.cs.man.ac.uk

• Automata theory
• Formal languages
• Logic in computer science
• Runtime verification
• Design
• Finite-state machine
• Regular expression
• C Sharp
• Pattern
• Computing
• Software engineering
• Theoretical computer science

INTERNATIONAL TELECOMMUNICATION UNION STUDY GROUP 17 TELECOMMUNICATION STANDARDIZATION SECTOR

Source URL: www.pragmadev.com

• Data modeling
• Formal methods
• Finite-state machine
• Unified Modeling Language
• Abstract Syntax Notation One
• Diagrams
• Specification and Description Language
• Software engineering

Towards a formal specification of access control Mathieu Jaume and Charles Morisset SPI – LIP6 – University Paris 6, 8 rue du Capitaine Scott, Paris 75015, France, ,

Source URL: focalize.inria.fr

• Bell–LaPadula model
• Organisation-based access control
• Mandatory access control
• Structure
• Secure state
• Cyberwarfare
• Security
• Metalogic
• Model theory

2002 Paper 4 Question 2 Compiler Construction The specification for a pocket-calculator-style programming language is as follows: • Valid inputs consist either of an Expression followed by the enter button or of an Ex

Source URL: www.cl.cam.ac.uk

• Compiler construction
• Formal languages
• Source code
• Lexical analysis
• Parsing
• Programming language implementation
• Programming language
• Syntax
• C++ classes
• Software engineering
• Computer programming
• Computing

Case Studies in Systematic Software Development

Source URL: homepages.cs.ncl.ac.uk

• Vienna Development Method
• Dines Bjørner
• Cliff Jones
• Formal specification
• Software development process
• Reification
• Abstraction
• Meta-IV
• Formal methods
• Software development
• Computing

Mining Apps to Learn Normal Behavior

Source URL: www.informatics-europe.org

• Formal methods
• Logic in computer science
• SQL
• Postcondition
• Specification language
• Formal specification
• XML
• Program synthesis
• Computing
• Theoretical computer science
• Software engineering

SYSTEMATIC SOFTWARE DEVELOPMENT USING VDM SECOND EDITION SYSTEMATIC SOFTWARE

Source URL: homepages.cs.ncl.ac.uk

• Technology
• Formal specification
• Specification language
• Specification
• Functional specification
• Software development process
• Reification
• Abstraction
• Vienna Development Method
• Formal methods
• Software development
• Science

A Formal Specification of the MIDP 2.0 Security Model Santiago Zanella B´eguelin1,2 , Gustavo Betarte3 , and Carlos Luna3 1 2

Source URL: software.imdea.org

• MIDlet
• S0
• Filesystem permissions
• Connected Limited Device Configuration
• Java Platform
• Micro Edition
• Computing
• Java specification requests
• Mobile Information Device Profile

Motivation Specification Verification Refinement A Formal Specification of the MIDP 2.0 Security Model 1 ´

Source URL: software.imdea.org

• Formal specification
• Specification
• Technology
• Management
• Form
• Java specification requests
• Formal methods
• Mobile Information Device Profile